Sponging   disallowed (Read-only view)

If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2.

% meta-cartridges called:
Meta-cartridge [execution time]: